Parsing Mathematics Typeset in T E X

The recognition of mathematics notation by a computer is made di cult by the two dimensional nature of the parsing problem as well as by the richness and ambiguity of the notation Parsing mathematics typeset in TEX constitutes a simpli ed idealized D recognition problem allowing the recognition engine to concentrate more on semantic understanding Choosing TEX as an input form for mathematics is immediately desirable for document recognition because of the availability of many published works in TEX form It is also desirable as a linearized intermediate form emitted by a mathematically oriented graphical user interface as in Tech Explorer A multi pass mathematics recognition engine is described designed with the intent of transcribing formulas from the electronic ref erence A Table of Integrals Series and Products into LISP statements suitable for a computer algebra system The engine is currently capable of transcribing of integral and summation formulas in the domain of real scalar calculus